Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen

نویسنده

  • Helmut Schwichtenberg
چکیده

Betrachtet werden zahlentheoretische Systeme erster Stufe mit w-Regel und natOrlichen Schlu~regeln im Sinne von Gentzen. Es wird ein primitiv rekursiver Operator N angegeben, der jede Herleitung in eine Normalform (unter EinschluB permutativer Konversionen) 9berf[hrt. Dieser Operator N bearbeitet Herleitungsb~ume "vonder Wurzel zu den Spitzen" und bestimmt for jeden Knoten a der Normalform explizit eine endliche Menge von Knoten der gegebenen Herleitung, von deren Beschriftung die Beschriftung von a allein abh[ngt; insbesondere ist N stetig bez~glich der unten angegebenen Metrik auf der Menge der Herleitungen. Ein ~hnliches Verfahren f~r ein anderes formales System (ohne permutative Konversionen) wurde von Mints in [2] angegeben.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ein Tool-Set zur Datenbank-Analyse und -Normalisierung

In diesem Beitrag werden zwei Softwarewerkzeuge zur Datenbank-Analyse und -Normalisierung vorgestellt. TANE-java dient zur Extraktion von funktionalen Abhängigkeiten aus relationalen Datenbanken. DBNormalizer dient zur Normalisierung relationaler Datenbanken auf Basis funktionaler Abhängigkeiten. Ergebnis ist ein ausführbares SQL-Skript zur Schemamodifikation und Datenmigration. Die Werkzeuge k...

متن کامل

Wissensinfosystem - ein einfaches und schnelles Werkzeug zur Informationsverbreitung in Universitäten, Verbänden und Unternehmen

Es wird eine Internetanwendung vorgestellt, welche dem Anwender eine strukturierte Suche und eine freie Suche wahlweise ermöglicht. Das Vorteilhafte an dem Verfahren ist, dass einfache Kenntnisse in der Anwendung des Betriebssystems Windows und der Internetsuchmaschine Google ausreichen, um das System bedienen zu können. Für die Redakteure, welche das System füllen besteht der Vorteil, dass sie...

متن کامل

Semiquantitative Bestimmung der Spulenposition von Cochlea Implantaten - Methodenevaluation und erste klinische Ergebnisse

Die Cochlea Implantation ist ein gut standardisierter Eingriff; Variabilität besteht jedoch hinsichtlich der Lage des Implantatgehäuses und somit der Position der Prozessorspule an der Kopfhaut. Eine zu kraniale Spulenposition kann beim Tragen von Kopfbedeckungen hinderlich sein und die Akzeptanz des Implantates beeinträchtigen; eine Position zu nahe an der Ohrmuschel zu einem Konflikt von Spul...

متن کامل

Einfache Grauwert-Transferfunktion für die Berechnung von digital rekonstruierten Röntgenbildern

Kurzfassung. Das Raycasting ist ein etabliertes Verfahren zur Berechnung von Digital Rekonstruierten Röntgenbildern (DRRs), also auf Basis von CT-Daten approximierten Radiographien, welche die Projektion eines Summationsbilds des 3D-CT-Volumens auf eine zweidimensionale Bildebene darstellen. Die Wirkung eines von einem Raycasting-Strahl durchquerten Voxels auf das Ergebnispixel im DRR kann unte...

متن کامل

Inkrementelle Koreferenzanalyse für das Deutsche

Es wird ein inkrementeller Ansatz zur Koreferenzanalyse deutscher Texte vorgestellt. Wir zeigen anhand einer breiten empirischen Untersuchung, dass ein inkrementelles Verfahren einem nichtinkrementellen überlegen ist und dass jeweils die Verwendung von mehreren Klassifizierern bessere Resultate ergibt als die Verwendung von nur einem. Zudem definieren wir ein einfaches Salienzmass, dass annäher...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1987